Algorithms for Sensor and Ad Hoc Networks
Thousands of mini computers (comparable to a stick of chewing gum in size), equipped with sensors, are deployed in some terrain ...
Lee mas
Algorithms for Sensor and Ad Hoc Networks
Thousands of mini computers (comparable to a stick of chewing gum in size), equipped with sensors, are deployed in some terrain ...
Lee mas
Formal Methods for Computational Systems Biology : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures
This volume presents the set of papers accompanying the lectures of the eighth International School on Formal Methods for ...
Lee mas
Formal Methods for Performance Evaluation
This book presents a set of 11 papers accompanying the lectures of leading researchers given at the 7th edition of the International ...
Lee mas
Performance Modeling and Engineering
This book presents the latest advances in methodology and techniques of performance modeling and engineering, ranging from ...
Lee mas
Stochastic Discrete Event Systems : Modeling, Evaluation, Applications
The behavior of many technical systems important in everyday life can be described using discrete states and state-changing ...
Lee mas
Wireless Algorithms, Systems, and Applications
The papers in this volume were presented at the First Annual InternationalConference on Wireless Algorithms, Systems, and ...
Lee mas
